Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Object Process Methodology
• Object diagram
• Class diagram
• Postcondition
• Design by contract
• Sequence diagram
• Conceptual model

Abstract Modeling User Interfaces in a Functional Language Antony Alexander Courtney 2004 It is widely recognized that programs with Graphical User Interfaces (GUIs) are

Source URL: www.antonycourtney.com

On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Unified Modeling Language
• Computing
• Theoretical computer science
• Object Constraint Language
• ECO
• Executable UML
• Postcondition
• State diagram
• Event
• Class diagram
• Finite-state machine

Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Unified Modeling Language
• Computing
• Theoretical computer science
• ECO
• Postcondition
• Systems Modeling Language
• Object Process Methodology
• Modeling language
• Profile
• Class diagram
• Economic model

This chapter describes the user language of MODELING

Source URL: www.statmodel.com

Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 1

Source URL: research.nii.ac.jp

Improving Relevance Feedback in Language Modeling with Score Regularization ∗ Fernando Diaz

Source URL: ciir.cs.umass.edu

Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Variable
• Information flow
• ALGOL 68
• Assignment
• Java

Ceptre: A Language for Modeling Generative Interactive Systems Chris Martens Carnegie Mellon University Abstract

Source URL: www.cs.cmu.edu